Contract-Based General-Purpose GPU Programming Alexey Kolesnichenko Christopher M. Poskitt Sebastian Nanz

Source URL: se.inf.ethz.ch

• GPGPU
• Parallel computing
• Graphics hardware
• Numerical linear algebra
• Video cards
• General-purpose computing on graphics processing units
• Compute kernel
• Stream processing
• Matrix
• CUDA
• Algorithmic skeleton
• Linear algebra

Using Integer Linear Programming for Content Selection, Lexicalization, and Aggregation to Produce Compact Texts from OWL Ontologies Gerasimos Lampouras and Ion Androutsopoulos Department of Informatics Athens University

Source URL: www.aueb.gr

FOLPI, A Forestry-Oriented Linear Programming Interpreter ∗ Oscar Garc´ıa

Source URL: web.unbc.ca

Gossip Learning with Linear Models on Fully Distributed Data∗ Róbert Ormándi, István Heged˝us, Márk Jelasity University of Szeged and Hungarian Academy of Sciences {ormandi,ihegedus,jelasity}@inf.u-szeged.hu

Source URL: www.inf.u-szeged.hu

• Statistics
• Machine learning
• Computer programming
• Distributed computing
• File sharing
• Artificial neural networks
• Computational statistics
• Peer-to-peer
• Expectationmaximization algorithm
• Perceptron
• Supervised learning
• Stochastic gradient descent

Consistent Shape Maps via Semidefinite Programming∗ Qi-Xing Huang and Leonidas Guibas Computer Science Department, Stanford University, Stanford, CA October 15, 2013 Abstract

Source URL: geometry.stanford.edu

• Operations research
• Mathematical optimization
• Matrix theory
• Real algebraic geometry
• Linear algebra
• Matrix
• Semidefinite programming
• Linear programming
• Convex function
• Eigenvalues and eigenvectors
• Distance matrix
• Matrix completion

LINEAR PROGRAMMING RELAXATIONS OF QUADRATICALLY CONSTRAINED QUADRATIC PROGRAMS ANDREA QUALIZZA1 , PIETRO BELOTTI2 , AND FRANC ¸ OIS MARGOT1,3 Abstract. We investigate the use of linear programming tools for solving semi

Source URL: wpweb2.tepper.cmu.edu

Chair of Software Engineering Robotics Programming Laboratory Bertrand Meyer Jiwon Shin

Source URL: se.inf.ethz.ch

• Statistics
• Robot control
• Probability
• Mathematical analysis
• Estimation theory
• Linear filters
• Computational statistics
• Kalman filter
• Conditional probability
• Joint probability distribution
• Particle filter

Constraint-Based Allocation of Cloud Resources to Maximize Mission Effectiveness Mark Boddy∗ Adventium Labs 111 Third Avenue South, Suite 100 Minneapolis, MNUSA

Source URL: www.adventiumlabs.com

• Mathematical optimization
• Economy
• Business
• Operations research
• Computer algebra systems
• Mathematical modeling
• Mathematics
• Information technology management
• Constraint satisfaction
• AMPL
• Linear programming
• Constraint

Uncertainty Feature Optimization: an Implicit Paradigm for Problems with Noisy Data Niklaus Eggenberg, Transport and Mobility Laboratory, EPFL Matteo Salani, Transport and Mobility Laboratory, EPFL Michel Bierlaire, Tran

Source URL: www.strc.ch

• Mathematical optimization
• Operations research
• Mathematical analysis
• Analysis
• Applied mathematics
• Stochastic programming
• Robust optimization
• Multi-objective optimization
• Constraint
• Linear programming
• Optimization problem
• Scenario optimization

Coala: A Compiler from Action Languages to ASP Martin Gebser, Torsten Grote, and Torsten Schaub? Universit¨at Potsdam, Institut f¨ur Informatik, August-Bebel-Str. 89, DPotsdam Abstract. Action languages allow fo

Source URL: www.cs.uni-potsdam.de

• Logic programming
• Answer set programming
• ASCII
• Coala
• Linear temporal logic
• Stable model semantics